1-((2^40